System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
901	Bits and pieces of information about the parser, namer, and typer phases that turn out to be necessary just to be able to unparse Scala ASTs c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-04 07:00:46 Data types Functional languages Procedural programming languages Type theory Functional programming ALGOL 68 Type system Pattern matching Anonymous function Computing Software engineering Computer programming
902	Obbie King PO Box 3455 La Crosse, WIWeb Programming Mac/Linux IT support Add to Reading List Source URL: purplearth.net Language: English - Date: 2010-09-26 00:46:09 Linux Macintosh Web application Web development System 7 Computing Software AppleScript
903	The LIR Domain Decomposition System applied to Cartesian Grids July 12, 2012 We introduce a novel multi-dimensional domain decomposition method. A new type of tree combines the advantages of the octree and the Add to Reading List Source URL: www-hagen.cs.uni-kl.de Language: English - Date: 2014-05-22 09:33:44 Decomposition method CW complex Numerical linear algebra Algebra Mathematics Constraint programming
904	Proactive Detection of Collaboration Conflicts Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2011-07-09 00:49:50 Distributed revision control systems Version control Distributed revision control Revision control Concurrent Versions System Merge Continuous integration Git Apache Subversion Software Computer programming Computing
905	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.mtu.edu Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
906	ECTACO® Partner® P900 Hand-held Electronic Language Teacher®, Full Text Translation System, Talking Dictionary, Translator, and Audio PhraseBook™ USER MANUAL Add to Reading List Source URL: www.thetranslatorstore.com Language: English - Date: 2010-02-24 10:58:35 Computing Smartphones Sony Ericsson P900 Lingvosoft Universal Serial Bus Open Programming Language Booting Computer keyboard ECTACO jetBook Computer hardware Ectaco Electronic engineering
907	Interfacing NEOS from R The R package rneos Bernhard Pfaff Invesco Asset Management Deutschland GmbH, Frankfurt am Main Add to Reading List Source URL: www.pfaffikus.de Language: English - Date: 2012-07-05 15:40:28 Theoretical computer science AMPL Linear programming Semidefinite programming Global optimization Combinatorial optimization General Algebraic Modeling System Operations research Mathematical optimization Applied mathematics
908	SOFTWARE—PRACTICE AND EXPERIENCE Softw. Pract. Exper. 01; 34:1–12 Prepared using speauth.cls [Version: v2.1] An architecture for safe Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2002-09-18 16:26:50 Cross-platform software Java platform Java virtual machine Java programming language Computing platforms Java bytecode Java Just-in-time compilation Bytecode Computing Software System software
909	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
910	Report N°: NMi 01 Page 2 of 15 Contents General type information ……………………………………………………………………………………………………………………………… Add to Reading List Source URL: www.adampos.com Language: English - Date: 2014-07-05 05:57:20 Mass Tare weight X Window System ALGOL 68 Software Computing Programming language theory

UPDATE